problem solving techniques in ai